Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
571	[removed]No.581 Column Add to Reading List Source URL: www.riaj.or.jp - Date: 2013-03-11 20:16:29 Calculus of variations Convex analysis Functional analysis
572	CHAPTER XII NONLINEAR FUNCTIONAL ANALYSIS, INFINITE-DIMENSIONAL CALCULUS Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2008-09-04 13:49:47 Generalizations of the derivative Differential calculus Derivative Chain rule Mean value theorem Diffeomorphism Continuous function Hilbert space Differential of a function Mathematical analysis Calculus Mathematics
573	Modeling an Algebraic Stepper John Clements, Matthew Flatt , and Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-07 08:17:37 Lisp programming language Functional programming Models of computation Procedural programming languages Cons Lambda calculus Monad Fold S-expression Software engineering Computing Computer programming
574	Expo. Math[removed]): [removed] © Urban & Fischer Verlag www.u rba nfischer.de/joumals/expomath Add to Reading List Source URL: classicalrealanalysis.info Language: English - Date: 2012-02-06 13:24:35 Real analysis Functions and mappings General topology Differential calculus Derivative Antiderivative Convex function Continuous function Generalizations of the derivative Mathematical analysis Mathematics Functional analysis
575	Epigram: Practical Programming with Dependent Types Conor McBride Add to Reading List Source URL: cs.ru.nl Language: English - Date: 2010-11-07 05:36:07 Functional languages Type theory Epigram Type system Dependent type Lambda calculus Agda Haskell Simply typed lambda calculus Software engineering Computing Programming language theory
576	SOME ASPECTS OF FUNCTIONAL ANALYSIS AND ALGEBRA I. GELFAND. Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:25:03 Complex analysis Integral Generalized function Analytic continuation Multivariable calculus Riemann hypothesis Gamma function Mathematical analysis Meromorphic functions Analytic functions
577	Actes, Congrès intern, math., 1970. Tome 1, p. 135 à 140. SCATTERING THEORY Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:32:37 Quantum mechanics Operator theory Functional analysis Differential equations Direct integral Hilbert space Partial differential equation Perturbation theory Wave equation Mathematical analysis Physics Calculus
578	A Gentle Introduction to Multi-stage Programming, Part II Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-10-20 11:11:08 Lambda calculus Functional languages Type theory Formal methods Theoretical computer science Eval OCaml Type system Scheme Software engineering Computing Programming language theory
579	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2012-06-14 04:34:48 Functional languages Parallel computing Models of computation Literate programming Procedural programming languages Haskell Glasgow Haskell Compiler Lambda calculus Evaluation strategy Software engineering Computing Computer programming
580	Certifying and reasoning on cost annotations of functional programs Roberto M. Amadio1 and Yann R´egis-Gianas1,2 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-05-18 04:03:57 Functional analysis Computability theory Lambda calculus Theoretical computer science Operator Continuation-passing style Combinatory logic Mathematics Software engineering Declarative programming

UPDATE